reducible left ideal

可约左理想